/* Differentiate the way we display regex fragments. */
.regexp {
  color: darkred !important;
}
